Approximate verification of strategic abilities under imperfect information
نویسندگان
چکیده
منابع مشابه
Fixpoint Approximation of Strategic Abilities under Imperfect Information
We propose a new approach to model checking the strategic logic ATLir.
متن کاملApproximating Strategic Abilities under Imperfect Information: a Naive Approach
Alternating-time temporal logic (ATL) allows to specify requirements onn abilities that different agents should (or should not) possess in a multi-agent system. However, model checking ATL specifications in realistic systems is computationally hard. In particular, if the agents don’t have perfect information about the global state of the system, the complexity ranges from Delta2P to undecidable...
متن کاملStrategic Planning for Imperfect-Information Games
Although game-tree search works well in perfectinformation games, there are problems in trying to use it for imperfect-information games such as bridge. The lack of knowledge about the opponents’ possible moves gives the game tree a very large branching factor, making the ~ree so immense that game-tree searching is infeasible. In this paper, we describe our approach for overcoming this problem....
متن کاملStrategic Planning for Imperfect - Information Games Stephen
Although game-tree search works well in perfect-information games, there are problems in trying to use it for imperfect-information games such as bridge. The lack of knowledge about the oppo-nents' possible moves gives the game tree a very large branching factor, making the tree so immense that game-tree searching is infeasible. In this paper, we describe our approach for overcoming this proble...
متن کاملObservational learning under imperfect information
The analysis explores Bayes-rational sequential decision making in a game with pure information externalities, where each decision maker observes only her predecessor’s binary action. Under perfect information the martingale property of the stochastic learning process is used to establish convergence of beliefs and actions. Under imperfect information, in contrast, beliefs and actions cycle for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2019
ISSN: 0004-3702
DOI: 10.1016/j.artint.2019.103172